Proj: 『Homotopy Type Theory Univalent Foundations of Mathematics』を理解する？ - pogi-log

Proj: 『Homotopy Type Theory Univalent Foundations of Mathematics』を理解する？

Homotopy Type Theoryの参考文献

『Homotopy Type Theory Univalent Foundations of Mathematics』

ホモトピー論の参考文献